2021. Test pattern generation using Boolean proof engines
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Integrated circuits ; Verification. ; Automatic test pattern generation. ; Automatic test equipment. ; Computer algorithms. ; Algebra, Boolean. ; ATPG. ; swd. ; Hardwareverifikation. ; swd. ; Integrierte Schaltung. ; swd. ;
2022. Testing and tuning market trading systems :
پدیدآورنده : Timothy Masters.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : C++ (Computer program language),Computer algorithms.,Data mining.,Algorithms & data structures.,C++ (Computer program language),Computer algorithms.,COMPUTERS-- Programming-- Algorithms.,COMPUTERS-- Programming Languages-- C++,Data mining.,Finance.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
73
.
C153
2023. The Amazing Journey of Reason
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : output equipment (Computers). ; Computer communication systems. ; Operating systems (Computers). ; Algorithms. ; Mathematical logic. ; Math Applications in Computer Science. ; -Mathematics. ; Input-Computer science
2024. The Design and analysis parallel alogrithms
پدیدآورنده : / Selim G, Aki
کتابخانه: Tehran University, technical faculty libraries 1 (Tehran)
موضوع : Parallel processing (Electronic computers),Computer algorithms
رده :
QA
76
.
58
.
A4D4
2025. The Design and analysis parallel alogrithms
پدیدآورنده : / Selim G, Aki
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Parallel processing (Electronic computers),Computer algorithms
رده :
QA
76
.
58
.
A4D4
2026. The Desin and analysis of parallel algorithms
پدیدآورنده : Akl, Selim G.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Parallel programming )Computer science(,، Algorithms
رده :
QA
76
.
6
.
A38
1989
2027. The Lanczos method :
پدیدآورنده : Louis Komzsik
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms,Computer science-- Mathematics,Eigenvalues,Numerical analysis
رده :
QA76
.
9
.
M35
K66
2003
2028. The Lanczos method: evolution and application
پدیدآورنده : Komzsik, Louis
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : Mathematics ، Computer science,، Numerical analysis,، Computer algorithms,، Eigenvalues
رده :
QA
76
.
9
.
M35
K66
2029. The Logic of Partial Information
پدیدآورنده : by Areski Nait Abdallah.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
7
B937
1995
2030. The Macintosh bible /
پدیدآورنده : Sharon Zardetto Aker.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mac OS.,Macintosh (Computer),ALGORITHMS.,COMPUTER PROGRAMMING.,COMPUTER PROGRAMS.,FILE MAINTENANCE (COMPUTERS),Macintosh (Computer),MICROCOMPUTERS.,PROGRAMMING LANGUAGES.,SOFTWARE TOOLS.
رده :
QA76
.
8
.
M3
A4368
1998
2031. The Mathematica GuideBook for Programming
پدیدآورنده : by Michael Trott.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms.,Computer science.
2032. The P=NP question and Geodel's lost letter
پدیدآورنده : Richard J. Lipton
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Geodel's theorem,Computational complexity,Computer algorithms,Logic, Symbolic and mathematical
رده :
QA
،
9
.
65
،.
L57
،
2010
2033. The P=NP question and Geodel's lost letter
پدیدآورنده : / Richard J. Lipton
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Geodel's theorem,Computational complexity,Computer algorithms,Logic, Symbolic and mathematical
رده :
E-BOOK
2034. The top ten algorithms in data mining
پدیدآورنده : edited by Xindong Wu, Vipin Kumar
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Data mining,، Computer algorithms
رده :
QA
76
.
9
.
D343
T66
2009
2035. The Traveling Salesman Problem and Its Variation
پدیدآورنده : / edited by Gregory Gutin, Abraham P. Punnen
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Computer science.,Computational complexity.,Algorithms.,Mathematical optimization.
رده :
QA
,
76
.
9
,.
M35
2036. The algorithm design manual
پدیدآورنده : Steven S. Skiena,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Computer algorithms
رده :
EBOOK
,
QA
.
A43
,
S55
76
.
9
2008
2037. The algorithm design manual
پدیدآورنده : Skiena, Steven S.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Computer algorithms
رده :
QA
76
.
9
.
A43
S55
2008
2038. The algorithm design manual
پدیدآورنده : Skiena, Steven S.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computer algorithms
رده :
QA
76
.
9
.
A43
S55
1998
2039. The algorithm design manual
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer algorithms. ;
2040. The algorithm design manual
پدیدآورنده : / Steven S. Skiena
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Computer algorithms.
رده :
QA
,
76
.
9
,.
A43
,
S55
,
2008
